//
// Sidebar colour definitions
//
$sidebar_bg_color: mix($bg_color, $base_color, 50%);
